Marcello M. Bonsangue: Z-Library 사이트에서 검색하기

모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

지식과 문화를 자유롭게 접하기.

모금 9월 15일 2024 – 10월 1일 2024

Z-Library이란 세계에서 가장 큰 온라인 도서관 중 하나이며, 17,000,000 이상의 책과 84,837,000 이상의 기사 포함합니다. 우리는 모든 사람이 문학을 접할 수 있도록 하는 것을 목표로 합니다. 오늘 (9월 15일 2024) 프로젝트 운영과 발전을 위해 새로운 모금활동을 시작합니다.

또한 무제한 다운로드(기부가 이루어진 날 이후로 31일 동안)가 까지 모금 기간 내에 프로젝트를 지원해 주시는 모든10월 1일 2024 사용자 분들에게 주어집니다.

모금에 대해서상세정보

책들 (27)
가장 인기 있는
목록
- 목록
- 표

1

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey ... Programming and Software Engineering)

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey ... Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine

년:

2009

언어:

english

파일:

PDF, 5.55 MB

0 / 0

english, 2009

2

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

년:

2010

언어:

english

파일:

PDF, 4.09 MB

0 / 0

english, 2010

3

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

년:

2007

언어:

english

파일:

PDF, 3.18 MB

0 / 0

english, 2007

4

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

년:

2004

언어:

english

파일:

PDF, 7.29 MB

0 / 0

english, 2004

5

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

년:

2010

언어:

english

파일:

PDF, 4.20 MB

0 / 0

english, 2010

6

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Springer-Verlag Berlin Heidelberg

David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)

년:

2012

언어:

english

파일:

PDF, 5.59 MB

0 / 0

english, 2012

7

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

년:

2008

언어:

english

파일:

PDF, 6.30 MB

0 / 0

english, 2008

8

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

년:

2013

언어:

english

파일:

PDF, 4.72 MB

0 / 0

english, 2013

9

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Springer-Verlag Berlin Heidelberg

Christine Mayr, Uwe Zdun, Schahram Dustdar (auth.), Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)

년:

2009

언어:

english

파일:

PDF, 4.48 MB

0 / 0

english, 2009

10

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Springer-Verlag Berlin Heidelberg

Christine Mayr, Uwe Zdun, Schahram Dustdar (auth.), Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)

년:

2009

언어:

english

파일:

PDF, 6.67 MB

0 / 0

english, 2009

11

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

년:

2013

언어:

english

파일:

PDF, 6.24 MB

0 / 0

english, 2013

12

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Springer International Publishing

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen (eds.)

년:

2016

언어:

english

파일:

PDF, 14.27 MB

0 / 0

english, 2016

13

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida (auth.), Marcello M. Bonsangue, Einar Broch Johnsen (eds.)

년:

2007

언어:

english

파일:

PDF, 3.57 MB

0 / 0

english, 2007

14

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

년:

2008

언어:

english

파일:

PDF, 7.96 MB

0 / 0

english, 2008

15

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

년:

2005

언어:

english

파일:

PDF, 3.81 MB

0 / 0

english, 2005

16

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

년:

2006

언어:

english

파일:

PDF, 3.85 MB

0 / 0

english, 2006

17

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Springer-Verlag Berlin Heidelberg

David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)

년:

2012

언어:

english

파일:

PDF, 6.30 MB

0 / 0

english, 2012

18

It's All About Coordination

It's All About Coordination

Springer International Publishing

Frank de Boer, Marcello Bonsangue, Jan Rutten

년:

2018

언어:

english

파일:

PDF, 8.34 MB

0 / 0

english, 2018

19

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

년:

2008

언어:

english

파일:

PDF, 4.93 MB

0 / 0

english, 2008

20

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Springer-Verlag Berlin Heidelberg

Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

년:

2003

언어:

english

파일:

PDF, 3.87 MB

0 / 0

english, 2003

21

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Marcello M. Bonsangue (eds.)

년:

2014

언어:

english

파일:

PDF, 4.03 MB

0 / 0

english, 2014

22

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

년:

2004

언어:

english

파일:

PDF, 9.52 MB

0 / 0

english, 2004

23

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jurriaan Rot, Frank de Boer, Marcello Bonsangue (auth.), Farhad Arbab, Marjan Sirjani (eds.)

년:

2013

언어:

english

파일:

PDF, 8.06 MB

0 / 0

english, 2013

24

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)

년:

2013

언어:

english

파일:

PDF, 6.84 MB

0 / 0

english, 2013

25

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

년:

2010

언어:

english

파일:

PDF, 4.31 MB

0 / 0

english, 2010

26

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

년:

2006

언어:

english

파일:

PDF, 3.67 MB

0 / 0

english, 2006

27

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

년:

2010

언어:

english

파일:

PDF, 5.88 MB

0 / 0

english, 2010